561. Practical aspects of declarative languages
پدیدآورنده: Andy Gill, Terrance Swift (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
615
.
P33
2009eb
562. Practical aspects of declarative languages :
پدیدآورنده: Ricardo Rocha, John Launchbury (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Declarative programming languages, Congresses
رده :
QA76
.
615
.
P33
2011
563. Practical aspects of declarative languages :
پدیدآورنده: José Júlio Alferes, Moa Johansson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
رده :
QA76
.
76
.
C65
564. Pre-proceedings of 4th IPM International Conference on Fundamentals of Software Engineering, April 20-22, 2011, IPM, Tehran, Iran
پدیدآورنده: Farhad Arbab and Marjan Sirjani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering
رده :
QA
76
.
758
.
I643
2011
565. Principles and practice of constraint programming-- CP 2011
پدیدآورنده: Jimmy Lee (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Constraint programming (Computer science), Congresses
رده :
QA76
.
612
.
C6
2011
566. Principles of distributed systems :
پدیدآورنده: Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
O66
2011
567. Proceedings : ACM 2003 Symposium on Software Visualization : San Diego, California, USA, June 11-13, 2003
پدیدآورنده: Symposium chair, Stephan Diehl; program chair, John T. Stasko; sponsored by ACN SIGCHI...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Visual programming )Computer science(,Congresses ، Computer software
رده :
QA
76
.
65
.
A258
2003
568. Proceedings Fifth International Conference on Tools with Artificial Intelligence, TAI 93, November 8-11, 1993, Boston, Massachusetts
پدیدآورنده: International Conference on Tools for Artificial Intelligence, )5th : 1993 : Boston, Mass.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Algorithms - Congresses , Neural networks )Computer science( - Congresses , Expert systems )Computer science( - Congresses
رده :
Q
336
.
I356
1993
569. Proceedings, SOFTVIS 06 : ACM Symposium on Software Visualization : Brighton, United Kingdom, September 04-05, 2006
پدیدآورنده: program co-chairs, Margaret Burnett, Stephan Diehl; symposium chair, Eileen Kraemer; proceedings production editor, Stephen N. Spencer; sponsored by ACM SIGCHI... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Visual programming )Computer science(,Congresses ، Computer software
رده :
QA
76
.
65
.
A258
2006
570. Proceedings, Sixth IEEE International Conference on Engineering of Complex Computer Systems: ICECCS 2000: September 11-14, 2000, Tokyo, Japan
پدیدآورنده: sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing; in cooperation with, Information Proceeding Society of Japan, Institute of Electronics, Information and Communication Engineers of Japan )IEICE(, Japan Society for Software Science and Technology; supported by, IEICE Communication Society Technical Committee on Network Revolution and Software
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، System design,Congresses ، Systems engineering,Congresses ، Computer engineering
رده :
QA
76
.
9
.
S88
I32
2000
571. Proceedings : SoftVis '05 : ACM Symposium on Software Visualization, St. Louis, Missouri, May 14-15, 2005
پدیدآورنده: Program Co-Chairs, Tom Naps, Wim De Pauw; symposium chair, Steven P. Reiss ; proceedings production editor, Stephen N. Spencer; sponsored by ACM SIGCHI...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Visual programming )Computer science(,Congresses ، Computer software
رده :
QA
76
.
65
.
A258
2005
572. Proceedings: The Eighih Knowledge- based Software Engineering Conference
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
573. Proceedings : The Ninth Knowledge-based Software Engineering Conference September 20-23, 1994 Monterey, California
پدیدآورنده: sponsored by Rome Laboratory, USAF; in cooperation with American Association for Artificial Intelligence )AAAI(, Association for Computing Machinery )ACM SIGART(, IEEE Computer Society
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Software engineering - Congresses , Expert systems )Computer science( - Congresses
رده :
QA
76
.
758
.
K66
1994
574. Proceedings of International Conference on Advances in Computing
پدیدآورنده: Aswatha Kumar M., Selvarani R., T. V. Suresh Kumar (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
I58
2012eb
575. Proceedings of International Conference on Recent Advancement on Computer and Communication :
پدیدآورنده: Basant Tiwari, Vivek Tiwari, Kinkar Chandra Das, Durgesh Kumar Mishra, Jagdish C. Bansal, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Internet of things, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Internet of things.
رده :
TK5105
.
5
576. Proceedings of 2nd International Conference on Communication, Computing and Networking :
پدیدآورنده: C. Rama Krishna, Maitreyee Dutta, Rakesh Kumar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Data mining, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data.,Communications Engineering, Networks.,Artificial intelligence.,Communications engineering / telecommunications.,Computer networks.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Data mining.,Databases.
رده :
TK5105
.
5
577. Proceedings of the International Workshop on Computer-Aided Software Engineering:CASE 93
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer-aided software engineering- Congresses
578. Proceedings of the Sixth International Workshop on Computer-Aided Software Engineering, CASE '93, Singapore, July 19-23
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer-aided software engineering-- Congresses
رده :
QA
76
.
758
.
I575
1993
579. Proceedings of the Sixth International Workshop on Computer-Aided Software Engineering, CASE 93, Singapore, July 19-23
پدیدآورنده: editors, Hing-Yan Lee, Thomas F. Reid, Stan Jarzabek ; co-sponsored by Institute of Systems Science, International Workshop on CASE, Inc., and IEEE Computer Society Technical Committee on Software Engineering
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer-aided software engineering - Congresses
رده :
QA
76
.
758
.
I575
1993
580. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده: Yuhang Yang, Maode Ma, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
